The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

Thomas Kuhn's philosophy of science, which he developed by focusing on physics, was later applied by other authors to virtually all areas or disciplines of culture. What interests me here, however, is the movement in the opposite direction: the role that one of these disciplines, history of art, played in the conception of Kuhn'stheoryof science.In a 1969 article, his only published text concerning science and art, Kuhn makes a brief and intriguing observation about The Structure of Scientific Revolutions. He says (...) the book was a belated product of his discovery of the parallels between science and art. This is a retrospective assertion about Structure, as well as that of the... (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

Written by an emigrant French aristocrat turned farmer, the Letters from an American Farmer posed the famous question `What, then, is the American, this new man?', as the new nation took shape before the eyes of the world. Addressing some of American literature's most pressing concerns and issues of identity, the Letters celebrates personal determination, freedom from institutional oppression and the largeness and fertility of the land, and also raises darker and more symbolic elements, particularly slavery. This is the only (...) critical edition available of what is regarded as the first ever work of American literature. (shrink)

There are many ways to assess face perception skills. In this study, we describe a novel task battery FEAST (Facial Expression Action Stimulus Test) developed to test recognition of identity and expressions of human faces as well as stimulus control categories. The FEAST consists of a neutral and emotional face memory task, a face and object identity matching task, a face and house part-to-whole matching task, and a human and animal facial expression matching task. The identity and part-to-whole matching tasks (...) contain both upright and inverted conditions. The results provide reference data of a healthy sample of controls in two age groups for future users of the FEAST. (shrink)

The presence and impact of Hispanics/Latinos in the United States cannot be ignored. Already the largest minority group, by 2050 their numbers will exceed all the other minority groups in the United States combined. The diversity of this population is often understated, but the people differ in terms of their origin, race. language, custom, religion, political affiliation, education and economic status. The heterogeneity of the Hispanic/Latino population raises questions about their identity and their rights: do they really constitute a group? (...) That is, do they have rights as a group, or just as individuals? This volume, addresses these concerns through a varied and interdisciplinary approach. (shrink)